Early Deciding Synchronous Renaming in O( logf ) Rounds or Less

نویسندگان

  • Dan Alistarh
  • Hagit Attiya
  • Rachid Guerraoui
  • Corentin Travers
چکیده

Renaming is a fundamental problem in distributed computing, in which a set of n processes need to pick unique names from a namespace of limited size. In this paper, we present the first early-deciding upper bounds for synchronous renaming, in which the running time adapts to the actual number of failures f in the execution. We show that, surprisingly, renaming can be solved in constant time if the number of failures f is limited to O( √ n), while for general f ≤ n− 1 renaming can always be solved in O(log f) communication rounds. In the wait-free case, i.e. for f = n − 1, our upper bounds match the Ω(logn) lower bound of Chaudhuri et al. [13].

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

UNIVERSIDADE DE LISBOA INSTITUTO SUPERIOR TÉCNICO Fault-Tolerant Renaming in Synchronous Message-Passing Systems

Exploring the power and limitations of different coordination problems has always been at the heart of the theory of distributed computing. This thesis addresses the coordination problem called renaming, in which processes start with ids from a large namespace and output new names from a small namespace. Renaming can be seen as a dual to the classical consensus problem: instead of agreeing on a...

متن کامل

Narrowing Power vs. Efficiency in Synchronous Set Agreement

The k-set agreement problem is a generalization of the uniform consensus problem: each process proposes a value, and each non-faulty process has to decide a value such that a decided value is a proposed value, and at most k different values are decided. It has been shown that any algorithm that solves the k-set agreement problem in synchronous systems that can suffer up to t crash failures requ...

متن کامل

A Topological Treatment of Early-Deciding Set-Agreement

This paper considers the k-set-agreement problem in a synchronous message passing distributed system where up to t processes can fail by crashing. We determine the number of communication rounds needed for all correct processes to reach a decision in a given run, as a function of k, the degree of coordination, and f ≤ t the number of processes that actually fail in the run. We prove a lower bou...

متن کامل

Gossip Protocols for Renaming and Sorting

We devise efficient gossip-based protocols for some fundamental distributed tasks. The protocols assume an n-node network supporting point-to-point communication, and in every round, each node exchanges information of size O(logn) bits with (at most) one other node. We first consider the renaming problem, that is, to assign distinct IDs from a small ID space to all nodes of the network. We prop...

متن کامل

The Time-Complexity of Local Decision in Distributed Agreement

Agreement is at the heart of distributed computing. In its simple form, it requires a set of processes to decide on a common value out of the values they propose. The time-complexity of distributed agreement problems is generally measured in terms of the number of communication rounds needed to achieve a global decision; i.e., for all non-faulty (correct) processes to reach a decision. This pap...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012